Universal Regressive Isols

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Nonrecursive Relations among the Isols

The universal isol metatheorem is extended so as to deal with nonrecursive relations and countable Boolean operations.

متن کامل

Recursive Fibers of Rst Isols

Motivated by a conjecture of Ellentuck concerning fibers f^x(C), f recursive and C an element of one of Barback's "tame models" (Tame models in the isols, Houston J. Math. 12 (1986), 163-175), we study such fibers in the more general context of Nerode semirings. The principal results are that (1) all existentially complete Nerode semirings meet all of their recursive fibers, and (2) not all Ner...

متن کامل

Hereditarily Odd–even and Combinatorial Isols

In this paper we study some of the arithmetic structure that is found in a special kind of semi-ring in the isols. These are the semi-rings [D(Y ),+, ·] that were introduced by J.C.E. Dekker, and that were later shown by E. Ellentuck to model the true universal recursive statements of arithmetic when Y is a regressive isol and is hyper-torre (= hereditarily odd-even = HOE). When Y is regressive...

متن کامل

Regressive Analysis ∗

The regressive analytical method which can be generally understood as the way backward occurs in science on different levels. In scientific practice it represent research, i. e., activities of scientists when looking for the conditions necessary to solve given problems. On the methodological level it stands for ordering a given set of statements, and, finally, on the foundational level it gives...

متن کامل

Combining Regressive and Auto-Regressive Models for Spatial-Temporal Prediction

A two-phased method for prediction in spatialtemporal domains is proposed. After an ordinary regression model is trained on spatial data, a prediction is adjusted by incorporating autoregressive modeling of residuals in time. The prediction accuracy of the proposed method is evaluated on simulated agricultural data with a significant improvement of accuracy for both linear and non-linear regres...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the American Mathematical Society

سال: 1972

ISSN: 0002-9939

DOI: 10.2307/2039196